Spegni, P. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (18)
Les plus populaires
Liste
- Liste
- Tableau

1

Hybrid surface-relief/volume one dimensional holographic gratings

Lucchetta, D.E., Spegni, P., Di Donato, A., Simoni, F., Castagna, R.

Journal:

Optical Materials

Année:

2015

Langue:

english

Fichier:

PDF, 1.22 MB

english, 2015

2

[IEEE 2017 Progress In Electromagnetics Research Symposium - Spring (PIERS) - St. Petersburg (2017.5.22-2017.5.25)] 2017 Progress In Electromagnetics Research Symposium - Spring (PIERS) - Glass-embedded optofluidic lasers

Spegni, P., Tricarico, D., Bonfadini, S., Turco, S. Lo, Criante, L., Simoni, F.

Année:

2017

Langue:

english

Fichier:

PDF, 154 KB

english, 2017

3

[IEEE 2017 IEEE Symposium on Computers and Communications (ISCC) - Heraklion, Greece (2017.7.3-2017.7.6)] 2017 IEEE Symposium on Computers and Communications (ISCC) - Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach

Baldi, Marco, Chiaraluce, Franco, Senigagliesi, Linda, Spalazzi, Luca, Spegni, Francesco

Année:

2017

Langue:

english

Fichier:

PDF, 5.81 MB

english, 2017

4

[IEEE 2018 International Conference on High Performance Computing & Simulation (HPCS) - Orleans (2018.7.16-2018.7.20)] 2018 International Conference on High Performance Computing & Simulation (HPCS) - Towards Model Checking Security of Real Time Java Software

Spalazzi, Luca, Spegni, Francesco, Liva, Giovanni, Pinzger, Martin

Année:

2018

Langue:

english

Fichier:

PDF, 9 KB

english, 2018

5

Model checking grid security

F. Pagliarecci, L. Spalazzi, F. Spegni

Journal:

Future Generation Computer Systems

Année:

2013

Langue:

english

Fichier:

PDF, 1.31 MB

english, 2013

6

Synthesis of nanostructured magnetic photocatalyst by colloidal approach and spray–drying technique

Costa, A.L., Ballarin, B., Spegni, A., Casoli, F., Gardini, D.

Journal:

Journal of Colloid and Interface Science

Année:

2012

Langue:

english

Fichier:

PDF, 2.49 MB

english, 2012

7

[IEEE 2010 International Symposium on Collaborative Technologies and Systems - Chicago, IL, USA (2010.05.17-2010.05.21)] 2010 International Symposium on Collaborative Technologies and Systems - Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study

Campana, Salvatore, Spalazzi, Luca, Spegni, Francesco

Année:

2010

Langue:

english

Fichier:

PDF, 195 KB

english, 2010

8

[IEEE 2012 2nd Workshop on Developing Tools as Plug-ins (TOPI) - Zurich, Switzerland (2012.06.3-2012.06.3)] 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI) - A modular environment for software development and re-engineering

Campana, Salvatore, Poli, Andrea, Spalazzi, Luca, Spegni, Francesco

Année:

2012

Langue:

english

Fichier:

PDF, 260 KB

english, 2012

9

[IEEE 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Sydney, Australia (2008.12.9-2008.12.12)] 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - XAL: A Web Oriented Programming Language Based on Timed-Automata

Campana, Salvatore, Spalazzi, Luca, Spegni, Francesco

Année:

2008

Langue:

english

Fichier:

PDF, 338 KB

english, 2008

10

Low threshold Fabry-Perot optofluidic resonator fabricated by femtosecond laser micromachining

Simoni, F., Bonfadini, S., Spegni, P., Lo Turco, S., Lucchetta, D.E., Criante, L.

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 3.01 MB

english, 2016

11

[IEEE 2016 International Conference on High Performance Computing & Simulation (HPCS) - Innsbruck, Austria (2016.7.18-2016.7.22)] 2016 International Conference on High Performance Computing & Simulation (HPCS) - Parametric and probabilistic model checking of confidentiality in data dispersal algorithms

Baldi, Marco, Cucchiarelli, Alessandro, Senigagliesi, Linda, Spalazzi, Luca, Spegni, Francesco

Année:

2016

Langue:

english

Fichier:

PDF, 176 KB

english, 2016

12

[ACM Press the 6th Conference - Gothenburg, Sweden (2018.06.02-2018.06.02)] Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18 - Modeling time in Java programs for automatic error detection

Liva, Giovanni, Khan, Muhammad Taimoor, Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas, Pinzger, Martin

Année:

2018

Langue:

english

Fichier:

PDF, 515 KB

english, 2018

13

Optofluidic Microlasers based on Femtosecond Micromachining Technology

Simoni, F., Spegni, P., Bonfadini, S., Lucchetta, D.E., Lo Turco, S., Criante, L.

Journal:

Optofluidics, Microfluidics and Nanofluidics

Année:

2017

Langue:

english

Fichier:

PDF, 4.92 MB

english, 2017

14

[IEEE 2018 International Conference on High Performance Computing & Simulation (HPCS) - Orleans (2018.7.16-2018.7.20)] 2018 International Conference on High Performance Computing & Simulation (HPCS) - Towards Model Checking Security of Real Time Java Software

Spalazzi, Luca, Spegni, Francesco, Liva, Giovanni, Pinzger, Martin

Année:

2018

Fichier:

PDF, 9 KB

2018

15

Automatic Repair of Timestamp Comparisons

Liva, Giovanni, Khan, Muhammad Taimoor, Pinzger, Martin, Spegni, Francesco, Spalazzi, Luca

Journal:

IEEE Transactions on Software Engineering

Année:

2019

Langue:

english

Fichier:

PDF, 8.47 MB

english, 2019

16

Parameterized model checking of networks of timed automata with Boolean guards

Spalazzi, Luca, Spegni, Francesco

Journal:

Theoretical Computer Science

Année:

2020

Fichier:

PDF, 1.49 MB

2020

17

[IEEE 2019 International Conference on High Performance Computing & Simulation (HPCS) - Dublin, Ireland (2019.7.15-2019.7.19)] 2019 International Conference on High Performance Computing & Simulation (HPCS) - Verification-as-a-Service for Parameter Assessment

Spalazzi, Luca, Spegni, Francesco

Année:

2019

Fichier:

PDF, 259 KB

2019

18

[IEEE 2019 International Conference on High Performance Computing & Simulation (HPCS) - Dublin, Ireland (2019.7.15-2019.7.19)] 2019 International Conference on High Performance Computing & Simulation (HPCS) - High-Performance Computing for Formal Security Assessment

Spalazzi, Luca, Spegni, Francesco

Année:

2019

Fichier:

PDF, 546 KB

2019